A constructive conditional logic for access control: a completeness result
نویسندگان
چکیده
In this paper we define a Intuitionistic Conditional Logic for Access Control (CCAC ). The logic is based on a conditional language allowing principals to be defined as arbitrary formulas. CCAC is a intuitionistic conditional logic, which includes few uncontroversial axioms of access control logics. The paper provides an axiomatization and a Kripke model semantics for the logic CCAC and proves that the axiomatization is sound and complete with respect to the semantics.
منابع مشابه
A Constructive Conditional Logic for Access Control
We define an Intuitionistic Conditional Logic for Access Control called CICL . The logic CICL is based on a conditional language allowing principals to be defined as arbitrary formulas and it includes few uncontroversial axioms of access control logics. We provide an axiomatization and a Kripke model semantics for the logic CICL , prove that the axiomatization is sound and complete with respect...
متن کاملA constructive conditional logic for access control: a preliminary report
We define an Intuitionistic Conditional Logic for Access Control called CICL . The logic CICL is based on a conditional language allowing principals to be defined as arbitrary formulas and it includes few uncontroversial axioms of access control logics. We provide an axiomatization and a Kripke model semantics for the logic CICL , and we prove that the axiomatization is sound and complete with ...
متن کاملA Conditional Constructive Logic for Access Control and Its Sequent Calculus
In this paper we study the applicability of constructive conditional logics as a general framework to define decision procedures in access control logics. To this purpose, we formalize the assertion A says φ, whose intended meaning is that principal A says that φ, as a conditional implication. We introduce CondACL , which is a conservative extension of the logic ICL recently introduced by Garg ...
متن کاملThe Topology-Free Construction of the Universal Type Structure for Conditional Probability Systems
We construct the universal type structure for conditional probability systems without any topological assumption, namely a type structure that is terminal, belief-complete, and non-redundant. In particular, in order to obtain the belief-completeness in a constructive way, we extend the work of Meier [An Infinitary Probability Logic for Type Spaces. Israel Journal of Mathematics, 192, 1–58] by p...
متن کاملLogics for Access Control: A Conditional Approach
In this paper we provide a reconstruction of access control logics within constructive conditional logics, by regarding the assertion A says φ, whose intended meaning is that principal A says that φ, as a conditional implication. We identify the conditional axioms needed to capture the basic properties of the “says” operator and to provide a proper definition of boolean principals. Most of thes...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010